From 9477385bbae4f78cb2b726da83523d82d518bff6 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Wed, 19 Sep 2018 00:04:43 +0100
Subject: [PATCH] Use true/false to configure documentation, man pages

---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 69da22110e..6b74a2ae46 100755
--- a/debian/rules
+++ b/debian/rules
@@ -120,7 +120,7 @@ configure_flags_deb += -Dwayland-backend=true
 endif
 
 ifeq ($(filter %-doc,$(binaries)),)
-configure_flags_deb += -Ddocumentation=no -Dman-pages=no
+configure_flags_deb += -Ddocumentation=false -Dman-pages=false
 endif
 
 configure_flags_udeb = \
-- 
2.30.2